Словарь по логике - закон мышления

обозначавший требование к логически совершенному мышлению, имеющее формальный характер, т. е. не зависящее от конкретного содержания мыслей. 3. м. назывались также законами логики или (формально-) логическими законами. Из множества З.м. выделялись т. наз. основные З.м. (логики), связанные, как считалось, с наиболее существенными свойствами мышления такими, как определенность, непротиворечивость, последовательность, обоснованность. Основные 3. м. рассматривались как наиболее очевидные из всех утверждений логики, являющиеся чем-то вроде аксиом этой науки. Под неясное понятие основного 3. м. подводились чаще всего непротиворечия закон,  тождества закон,  закон исключенного третьего.  Нередко к ним добавляли достаточного основания принцип  и принцип "обо всех и ни об одном" ("сказанное обо всех предметах какого-то рода верно и о некоторых из них, и о каждом в отдельности; неприложимое ко всем предметам неверно также в отношении некоторых и отдельных из них").

В концепции основных 3. м. собственно логическое содержание смешивалось с теоретико-познавательным и с расплывчатыми методологическими рекомендациями (требованиями обосновывать каждое выдвигаемое утверждение, доводить исследование любого вопроса до полной определенности, выделять обсуждаемые объекты по достаточно устойчивым признакам и т. п.).

Логика современная (математическая, символическая) показала, что логических законов бесконечно много и нет оснований делить их на основные и второстепенные. Построены логические системы, в которых не являются законами закон исключенного третьего (интуиционистская логика,  некоторые системы многозначной логики), непротиворечия закон (паранепротиворечивая логика) . Термин "3. м." в логике современной не употребляется (см.: Логический закон).